computational logic

美 [ˌkɑːmpjuˈteɪʃənl ˈlɑːdʒɪk]英 [ˌkɒmpjuˈteɪʃənl ˈlɒdʒɪk]
  • 网络计算逻辑
computational logiccomputational logic
  1. Some Revisions and Proofs on the Definition Principle in " A Computational Logic "

    《计算逻辑》中定义原理的修改与重证

  2. Rippling - out tactic for a computational logic

    计算逻辑中的波动策略

  3. Computational logic for integrator is predigested by the maintained object being changed from multi base tables to single source view on per-source ;

    集成器的维护对象从每个数据源上的多基表简化为单源视图,集成计算逻辑得到了简化;

  4. Model Checking Based on Temporal Logic , including linear temporal logic and computational tree logic .

    模型检测基于时态逻辑(TemporalLogic),包括线性时态逻辑和计算树逻辑。

  5. A concept of fuzzy Hopfield network ( FuzzyHN ) with the computational functions of fuzzy logic is defined .

    首先提出了具有模糊逻辑计算功能的模糊Hopfield神经网络&FHN。

  6. LAPP is a data modeling and different from traditional computational method of modeling gene logic networks . This computational approach identifies logic relationships of the elements ( or components ) in complex networks through the logic analysis of their expression data .

    LAPP和传统建立基因逻辑网络模型的方法不同,它给出了一个从复杂网络的元素(或部件)的表达数据出发,通过逻辑分析,找到元素之间的逻辑关联性的建模方法。